//REQUIRED CLASS
package project2;

import java.util.ArrayList;

import project1.*;

public class SimplePredicate
{
	private String stringname;
	private ArrayList<String> arg_list;
	SimplePredicate(String name, ArrayList<String> arg_list){
		this.arg_list = arg_list;
		this.stringname = name;
	}
	public String toString(){
		return stringname+"("+arg_list.toString().replaceAll("\\[|\\]", "")+")";
	}
	public String getStringName(){
		return this.stringname;
	}
	public ArrayList<String> getArgList(){
		return arg_list;
	}
}
